Countable Compactness, Hereditary Π–character, and the Continuum Hypothesis
نویسنده
چکیده
We prove that the Continuum Hypothesis is consistent with the statement that countably compact regular spaces that are hereditarily of countable π–character are either compact or contain an uncountable free sequence. As a corollary we solve a well–known open question by showing that the existence of a compact S–space of size greater than א1 does not follow from the Continuum Hypothesis.
منابع مشابه
COUNTABLE COMPACTNESS AND THE LINDEL¨OF PROPERTY OF L-FUZZY SETS
In this paper, countable compactness and the Lindel¨of propertyare defined for L-fuzzy sets, where L is a complete de Morgan algebra. Theydon’t rely on the structure of the basis lattice L and no distributivity is requiredin L. A fuzzy compact L-set is countably compact and has the Lindel¨ofproperty. An L-set having the Lindel¨of property is countably compact if andonly if it is fuzzy compact. ...
متن کامل2 8 M ar 2 00 7 PROJECTIVE π - CHARACTER BOUNDS THE ORDER OF A π - BASE
All spaces below are Tychonov. We define the pro-jective π-character p πχ(X) of a space X as the supremum of the values πχ(Y) where Y ranges over all continuous images of X. Our main result says that every space X has a π-base whose order is ≤ p πχ(X), that is every point in X is contained in at most p πχ(X)-many members of the π-base. Since p πχ(X) ≤ t(X) for compact X, this provides a signifi...
متن کاملOn the compactness property of extensions of first-order G"{o}del logic
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...
متن کاملTwo Ä-closed Spaces Revisited
Recently, R. M. Stephenson has used the Continuum Hypothesis to construct two Ä-closed, separable regular, first countable, noncompact Hausdorff spaces. We show that the assumption of the Continuum Hypothesis can be removed by replacing a lemma used in the original construction to deal with arbitrary almost-disjoint families by the construction of a particular almost-disjoint family. We also sh...
متن کاملThe Countable Character of Uncountable Graphs
We show that a graph can always be decomposed into edge-disjoint subgraphs of countable cardinality in which the edge-connectivities and edge-separations of the original graph are preserved up to countable cardinals. We also show that the vertex set of any graph can be endowed with a well-ordering which has a certain compactness property with respect to edge-separation.
متن کامل